Browse by Keywords - P

Select the first letter of the keywords to browse

There are 4 record/s using the keyword/s: programming languages.

View 25 / 50 / ALL records per page.

TitleDateCreatorPublication TypeInstitution
Deep Induction: Induction Rules For (Truly) Nested Types2020Johann, Patricia FacultyComputer Science, ASU
Initial Algebra Semantics Is Enough!2007Johann, Patricia FacultyComputer Science, ASU
Refining Inductive Types2012Johann, Patricia FacultyComputer Science, ASU
When Is A Type Refinement An Inductive Type?2011Johann, Patricia FacultyComputer Science, ASU